S. Iwata, T. Kurahashi, "Topological semantics of conservativity and interpretability logics"
メモ
倉橋 太志
，
岩田 荘平
位相的意味論
様相論理GL
は
可能世界意味論
/
Kripke意味論
に対して
強完全性
ではない．
保存性論理CL
や
解釈可能性論理IL
などに対して
位相的意味論
を使うことで
強完全性
を示すことが出来る．